$(document).ready(function() {
	abc_editor = new ABCJS.Editor("abc", {
		paper_id : "solfege",
		midi_id : "midi",
		warnings_id : "warnings"
	});
})